package stripsLanguage;

/**
 * Klasa opisujaca typ predykatu
 * @author Lukasz
 *
 */

public class PredicateType {
	
	/** name of the predicate **/
	private String Name;

	/** nr of arguments **/
	private int NrOfArgs;
	
	/** nr of type **/
	private int NrOfType;
	
	/** creates a predicate with specified nr of args **/
	public PredicateType(
		int nrOfType,
		String name,
		int nrOfArgs)
	{
		NrOfArgs = nrOfArgs;
		Name = name;
		NrOfType = nrOfType;
	}	

	public String getName() {
		return Name;
	}
	
	public int getNrOfArgs()
	{
		return NrOfArgs;
	}
	
	public int getNrOfType()
	{
		return NrOfType;
	}
	
	public String toString()
	{
		return "(" + getNrOfType() + "," + getName() + "," + getNrOfArgs() + ") ";
	}
}
